Petri Net Workflow Modeling for Digital Publishing Measuring Quantitative Dependability Attributes

This paper describes the concept of workflow modeling using Generalized Stochastic Petri Nets (GSPN) for the Digital Publishing business process and how the attributes of dependability are measured in a quantitative form. These are measured from the workflow model itself, improving the analysis of a workflow model. Applying these new measure concepts to the general Digital Publishing pre-press process provides a better workflow management in this area, since this process is highly based on its trustworthiness. The new methodology for workflow modeling is introduced and results for a preflight stage of the Digital Publishing workflow are presented.